منابع مشابه
Reasoning About Action II: The Qualification Problem
We present a computationally eeective approach to representing and reasoning about actions with many qualiications. The approach involves treating actions as qualiied not by speciic facts that may or may not hold when the action is executed, but instead as potentially qualiied by general constraints describing the domain being investigated. Speciically, we suggest that the result of the action ...
متن کاملReasoning about actions: Non-deterministic effects, Constraints, and Qualification
In this paper we propose the language of 'state specif ications' to un i formly specify effect of act ions, executabi l i ty condit ion of actions, and dynamic and stat ic constraints. This language allow? us to be able to express effects of act ion and constraints w i th same first order representation but different in tu i t ive behavior to be specified differently. We then discuss how we can...
متن کاملeffect of seed priming and irrigation regimes on yield,yield components and quality of safflowers cultivars
این مطالعه در سال 1386-87 در آزمایشگاه و مزرعه پژوهشی دانشگاه صنعتی اصفهان به منظور تعیین مناسب ترین تیمار بذری و ارزیابی اثر پرایمینگ بر روی سه رقم گلرنگ تحت سه رژیم آبیاری انجام گرفت. برخی از مطالعات اثرات سودمند پرایمینگ بذر را بر روی گیاهان مختلف بررسی کرده اند اما در حال حاضر اطلاعات کمی در مورد خصوصیات مربوط به جوانه زنی، مراحل نموی، عملکرد و خصوصیات کمی و کیفی بذور تیمار شده ژنوتیپ های م...
Formalizing and Reasoning about Quality
Traditional formal methods are based on a Boolean satisfaction notion: a reactive system satisfies, or not, a given specification. We generalize formal methods to also address the quality of systems. As an adequate specification formalism we introduce the linear temporal logic LTL[F ]. The satisfaction value of an LTL[F ] formula is a number between 0 and 1, describing the quality of the satisf...
متن کاملReliability, Readability and Quality of Online Information about Femoracetabular Impingement
Background: The Internet has become the most widely-used source for patients seeking information more about their health and many sites geared towards this audience have gained widespread use in recent years. Additionally, many healthcare institutions publish their own patient-education web sites with information regarding common conditions. Little is known about how these resources impact pati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Quality Assurance Journal
سال: 2007
ISSN: 1087-8378,1099-1786
DOI: 10.1002/qaj.429